#include <syscall.h>

int main(int argc, char *argv[])
{
    for (int i = 0; i < argc; i++)
    {
        prints("arg: %s", (uint32_t)argv[i]);
    }
    
    fork();
    yield();

    while (TRUE)
    {
        prints("shell (%d)...\n", getpid());
        sleep(1000);
    }
}